Interactive Theorem Proving And Program Development Coq'art: The

Interactive Theorem Proving And Program Development | Pierre Castéran

Ruben Gamboa (u. A.) | Interactive Theorem Proving | Taschenbuch |

Xingyuan Zhang (u. A.) | Interactive Theorem Proving | Taschenbuch |

Interactive Theorem Proving 7th International Conference, Itp 2016,

Pierre Castéran (u. A.) | Interactive Theorem Proving And Program

César A. Muñoz (u. A.) | Interactive Theorem Proving | Taschenbuch |

Automated Theorem Proving Theory And Practice 2333

Current Trends In Hardware Verification And Automated Theorem Proving

Theorem Proving With The Real Numbers 1914

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

Yunshan Zhu (u. A.) | The Efficiency Of Theorem Proving Strategies |

Theorem Proving In Higher Order Logics 22nd International Conference,

Theorem Proving In Higher Order Logics Stefan Berghofer (u. A.)

Sean B. Holden Machine Learning For Automated Theorem Proving

Value-range Analysis Of C Programs Towards Proving The Absence Of